例句與造句

1. He is the author of a unification algorithm for simply typed lambda calculus, and of a complete proof method for Church's theory of types ( constrained resolution ).
2. This fact led to the development of alphaProlog, a Prolog-like logic programming language with facilities for binding names in terms, where Prolog's standard first-order unification algorithm is replaced with nominal unification.
3. A unification algorithm should compute for a given problem a " complete ", and " minimal " substitution set, that is, a set covering all its solutions, and containing no redundant members.
4. The resolution rule can be traced back to Davis and Putnam ( 1960 ); however, their unification algorithm, which allowed one to instantiate the formula during the proof " on demand " just as far as needed to keep refutation completeness.
5. An anti-unification algorithm should compute for given expressions a "'complete "', and "'minimal "'generalization set, that is, a set covering all generalizations, and containing no redundant members, respectively.
6. It's difficult to find unification algorithm in a sentence. 用unification algorithm造句挺難的
7. While higher-order unification is undecidable, G閞ard Huet gave a semi-decidable ( pre-) unification algorithm that allows a systematic search of the space of unifiers ( generalizing the unification algorithm of Martelli-Montanari and Gilles Dowek have written articles surveying this topic.
8. While higher-order unification is undecidable, G閞ard Huet gave a semi-decidable ( pre-) unification algorithm that allows a systematic search of the space of unifiers ( generalizing the unification algorithm of Martelli-Montanari and Gilles Dowek have written articles surveying this topic.